Open Covers Finite Subcovers